// util.enchant.js was merged into ui.enchant.js